<html>
<head><meta charset="utf-8"><title>t-compiler/wg-oneparser ? · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html">t-compiler/wg-oneparser ?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="205217702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205217702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205217702">(Jul 28 2020 at 10:02)</a>:</h4>
<p>Hey, so I am starting with parser library-ification task for real ( <span aria-label="grimacing" class="emoji emoji-1f62c" role="img" title="grimacing">:grimacing:</span> ). I think it maybe makes sense to start a working group for this? Specifically, I think it makes sense to have a zulip stream (and not just a topic) under <code>t-compiler</code>.</p>



<a name="205217784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205217784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205217784">(Jul 28 2020 at 10:04)</a>:</h4>
<p>The deliverable would be "rust-analyzer &amp; rustc are using the same parser". It's a clear goal, though I am less sure about it being "finite" :)</p>



<a name="205263929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205263929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205263929">(Jul 28 2020 at 17:13)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> (as I see that you like the idea) could maybe just go ahead and create the Zulip stream? I'd like to use it right now :D</p>



<a name="205271263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205271263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> XAMPPRocky <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205271263">(Jul 28 2020 at 18:17)</a>:</h4>
<p><span class="user-mention" data-user-id="133169">@matklad</span> I believe for making a project group the procedure is to file an major change proposal on the compiler team repository first. <a href="https://github.com/rust-lang/compiler-team/issues/new?assignees=&amp;labels=major-change%2C+T-compiler&amp;template=major_change.md&amp;title=%28My+major+change+proposal%29">https://github.com/rust-lang/compiler-team/issues/new?assignees=&amp;labels=major-change%2C+T-compiler&amp;template=major_change.md&amp;title=%28My+major+change+proposal%29</a></p>



<a name="205276099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205276099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205276099">(Jul 28 2020 at 18:57)</a>:</h4>
<p>Hm, this is not specified in <a href="https://rust-lang.github.io/compiler-team/procedures/form-new-working-group/">https://rust-lang.github.io/compiler-team/procedures/form-new-working-group/</a> ?</p>



<a name="205280090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205280090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> XAMPPRocky <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205280090">(Jul 28 2020 at 19:31)</a>:</h4>
<p><span class="user-mention" data-user-id="133169">@matklad</span> Unfortunately I believe that's old documentation. All the procedure docs moved forge awhile ago. <a href="https://forge.rust-lang.org/compiler/mcp.html">https://forge.rust-lang.org/compiler/mcp.html</a></p>



<a name="205285392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205285392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205285392">(Jul 28 2020 at 20:19)</a>:</h4>
<p>Which part of the docs is obsolete? All of them, or only specifc bits about WG? I'd like to remove them from the Internet :)</p>



<a name="205286743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205286743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205286743">(Jul 28 2020 at 20:29)</a>:</h4>
<p>Filed <a href="https://github.com/rust-lang/compiler-team/issues/338">https://github.com/rust-lang/compiler-team/issues/338</a>!</p>



<a name="205333674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205333674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> XAMPPRocky <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205333674">(Jul 29 2020 at 09:18)</a>:</h4>
<p><span class="user-mention" data-user-id="133169">@matklad</span> Well I think it's just using old terminology and doesn't mention that you should file an MCP.</p>



<a name="205366004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366004">(Jul 29 2020 at 14:44)</a>:</h4>
<p>I've seen the RFC process recently used to propose project groups</p>



<a name="205366030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366030">(Jul 29 2020 at 14:44)</a>:</h4>
<p>I'm honestly not immediately certain whether we prefer RFC or MCP for this</p>



<a name="205366048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366048">(Jul 29 2020 at 14:44)</a>:</h4>
<p>though one would think that RFC process is overkill for it</p>



<a name="205366150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366150">(Jul 29 2020 at 14:45)</a>:</h4>
<p>I think T-compiler project groups don't really need RFCs as much as T-lang <em>might</em></p>



<a name="205366171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366171">(Jul 29 2020 at 14:45)</a>:</h4>
<p>project groups themselves are described in <a href="https://github.com/rust-lang/rfcs/blob/master/text/2856-project-groups.md">RFC 2856</a>; that document may specify how the groups get formed...</p>



<a name="205366176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366176">(Jul 29 2020 at 14:46)</a>:</h4>
<p>and even for lang I'm not really feeling that they're hugely necessary</p>



<a name="205366302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366302">(Jul 29 2020 at 14:46)</a>:</h4>
<p>Yeah I'm not sure even MCP is necessary, according to RFC 2856, as long as you have a lead and a liason established</p>



<a name="205366448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366448">(Jul 29 2020 at 14:47)</a>:</h4>
<p>Ah there is a bullet in the future work section of <a href="https://github.com/rust-lang/rfcs/issues/2856">rfc#2856</a> that talks about why one would and wouldn't want to use the RFC process to obtain consensus about forming groups before actually forming them</p>



<a name="205366569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366569">(Jul 29 2020 at 14:48)</a>:</h4>
<p>okay yes, there is supposed to be <em>team consensus</em> to form a project group</p>



<a name="205366619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205366619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205366619">(Jul 29 2020 at 14:49)</a>:</h4>
<p>and that is why at least an MCP is necessary</p>



<a name="205604755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205604755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205604755">(Jul 31 2020 at 15:28)</a>:</h4>
<p>I think MCP is appropriate</p>



<a name="205604798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205604798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205604798">(Jul 31 2020 at 15:28)</a>:</h4>
<p>for the reasons above -- good way to get team consensus, but not really something where "community wide" consensus is appropriate/required</p>



<a name="205604823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205604823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205604823">(Jul 31 2020 at 15:28)</a>:</h4>
<p>or at least, community wide <em>input</em></p>



<a name="205907850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205907850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205907850">(Aug 04 2020 at 13:47)</a>:</h4>
<p>sooo, does anyone wantsto second the proposal <a href="https://github.com/rust-lang/compiler-team/issues/338">https://github.com/rust-lang/compiler-team/issues/338</a> ? ^^</p>
<p>Not sure I undestand the process fully, but at the moment it seems blocked on the absense of second?</p>



<a name="205910496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205910496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205910496">(Aug 04 2020 at 14:06)</a>:</h4>
<p>Maybe <span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span>?</p>



<a name="205910616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205910616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jonas Schievink  [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205910616">(Aug 04 2020 at 14:07)</a>:</h4>
<p>Who would be part of this working group?</p>



<a name="205914110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205914110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205914110">(Aug 04 2020 at 14:33)</a>:</h4>
<p><span class="user-mention" data-user-id="133169">@matklad</span> mostly I would think -- the grouping here is most valuable in terms of "work" rather than collective of people doing that. </p>
<p>I am not sure this work is easily parallelisable, at least until the design is fully clear :(</p>



<a name="205915150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205915150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205915150">(Aug 04 2020 at 14:41)</a>:</h4>
<p>IIRC what’s important when forming a WG are the leaders?</p>



<a name="205950357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205950357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pachi <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205950357">(Aug 04 2020 at 19:36)</a>:</h4>
<p>@matklad maybe the people in the Discord group #wg-grammar could be interested? I know @eddyb did a lot of grammar and parsing work, with some other people like <span class="user-mention" data-user-id="116013">@qmx</span> and others I can't find in Zulip.</p>



<a name="205951759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205951759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205951759">(Aug 04 2020 at 19:49)</a>:</h4>
<p>oooh this sounds awesome!!!</p>



<a name="205951786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/t-compiler/wg-oneparser%20%3F/near/205951786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/t-compiler.2Fwg-oneparser.20.3F.html#205951786">(Aug 04 2020 at 19:49)</a>:</h4>
<p>/me has been AWOL due to new job onboarding</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>